<?php
	session_start();
	if (isset($_SESSION['username']))
	{
		echo "Welcome, ".$_SESSION['username']."! <a href='logout.php'>Logout</a>";
	} else {
		echo "<a href='login.php'>Login</a>";
	}
	echo "<h1>Medical Madness!</h1>";
	echo "<a href='index.php'> Home </a>";space();
	echo "<a href='help.php'> Help Center </a>";space();
	echo "<a href='register.php'> Register </a>";space();
	echo "<a href='contribute.php'> Contribute </a>";space();
	echo "<a href='mailto:rchiu95@gmail.com'> Contact Us </a>";
	echo "<hr />";
	
	function space()
	{
		echo "&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;";
	}
?>